normal subgroup theorem proof